Issue5558.agda:3,3-15
The following names are defined but not accompanied by a
declaration: A
Issue5558.agda:6,3-7,10
The following names are defined but not accompanied by a
declaration: B
